verifiable uniqueness